Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
121	The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637. Add to Reading List Source URL: people.linguistics.mcgill.ca Language: English - Date: 2012-07-11 18:04:53 Geometry Mathematics Mathematical optimization Linguistics Optimality theory Phonology Phonotactics Linear algebra Hyperplane Feasible region Arrangement of hyperplanes Modal logic
122	What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2010-07-02 04:54:56 Logic Modal logic Philosophy Formal epistemology Abstraction Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Common knowledge Epistemic modal logic Kripke semantics
123	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
124	Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗ Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-21 09:47:36 Game theory Artificial intelligence Formal epistemology Modal logic Logic in computer science Common knowledge Epistemic modal logic Intelligent agent Alternating-time Temporal Logic Temporal logic Social software Mechanism design
125	Context Object Theory Computational Models Add to Reading List Source URL: mally.stanford.edu Language: English Logic Philosophy Abstraction Modal logic Modality Non-classical logic Philosophical logic Model theory First-order logic
126	Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa Add to Reading List Source URL: www.preining.info Language: English - Date: 2014-04-03 01:14:55 Model theory Non-classical logic Modal logic Philosophical logic Kripke semantics Sheaf theory Propositional calculus Interpretation Mathematical logic Intuitionistic logic First-order logic
127	Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch Add to Reading List Source URL: folk.uib.no Language: English - Date: 2008-02-06 12:58:25 Formal epistemology Modal logic Artificial intelligence Non-classical logic Philosophical logic Dynamic epistemic logic Symbol Epistemic modal logic Common knowledge Tiny Encryption Algorithm Kripke semantics Interpretation
128	UCL Working Papers in LinguisticsModality in language development: reconsideration of the evidence* a Add to Reading List Source URL: papafragou.psych.udel.edu Language: English - Date: 2005-02-24 09:23:50 Grammatical moods Philosophy Grammar Linguistics Modality Semantics Linguistic modality Modal verb Epistemic modality English modal verbs Modal logic Force dynamics
129	Planning Over Multi-Agent Epistemic States: A Classical Planning Approach Christian Muise∗ , Vaishak Belle† , Paolo Felli∗ , Sheila McIlraith† Tim Miller∗ , Adrian R. Pearce∗ , Liz Sonenberg∗ ∗ Departmen Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-12-17 21:21:52 Philosophy Modal logic Logic Epistemology Artificial intelligence Formal epistemology Modality Epistemic modal logic Dynamic epistemic logic Epistemic closure Causality Distribution
130	Advances in Modal Logic 2014 University of Groningen 5-8 August 2014 SOCIAL PROGRAM Add to Reading List Source URL: www.philos.rug.nl Language: English - Date: 2014-07-30 05:29:12

UPDATE